Parallelization of Cycle-Based Logic Simulation
نویسندگان
چکیده
منابع مشابه
Parallelization of Cycle-Based Logic Simulation
Verification of digital circuits by Cycle-based simulation can be performed in parallel. The parallel implementation requires two phases: the compilation phase, that sets up the data needed for the execution of the simulation, and the simulation phase, that consists in executing the parallel simulation of the considered circuit for a certain number of cycles. During the early phase of design, c...
متن کاملشبیه سازی cycle-based در سطح انتقال ثبات برای زبان vhdl براساس فرمت میانی chire rtl vhdl cycle-based simulation based on chire
در این پایان نامه خصوصیات کلی شبیه سازی cycle-based معرفی شده و نحوه انجام شبیه سازی cycle-based در سطح گیت و سطح انتقال ثبات مورد بررسی موشکافانه قرار گرفته است . در این پایان نامه همچنین محدودیتهای شبیه سازی cycle-based معرفی شده و راه حلهایی برای این مشکلات ارائه شده است . به موازات این پایان نامه و برای اثبات صحت نظریه های مطرح شده و راه حلهای ارائه شده در آن، یک شبیه ساز cycle-based برای ز...
15 صفحه اولAutomatic Parallelization of Equation-Based Simulation Programs
Modern equation-based object-oriented modeling languages which have emergedduring the past decades make it easier to build models of large and complexsystems. The increasing size and complexity of modeled systems requires highperformance execution of the simulation code derived from such models. Moreefficient compilation and code optimization techniques can help to some ex-t...
متن کاملAutomatic Parallelization with Separation Logic
We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this framework for determining independences between statements in a program which can be used for parallelization.
متن کاملParallelization of Propagation Model Simulation
In this paper a sequential radio wave propagation simulator has been parallelized in order to speed up the execution. Only outdoor propagation in microcells is considered in this simulator. The simulator combines a vertical plane model which simulates the wave propagation over the building roofs and a horizontal plane model which simulates the wave propagation in the street canyons between the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Parallel Processing Letters
سال: 2017
ISSN: 0129-6264,1793-642X
DOI: 10.1142/s0129626417500037